大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

0
索取号：
作者：Qin、 Shengchao.、Qiu、 Zongyan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Economics of Converged, Internet-Based Networks [electronic resource] : 7th International Workshop on Internet Charging and QoS Technologies, ICQT 2011, Paris, France, October 24, 2011. Proceedings

0
索取号：
作者：Cohen、 Johanne.、Maill茅、 Patrick.、Stiller、 Burkhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

3+1 Formalism in General Relativity [electronic resource] : Bases of Numerical Relativity

0
索取号：
作者：Gourgoulhon、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Similarity-Based Pattern Recognition [electronic resource] : First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings

0
索取号：
作者：Pelillo、 Marcello.、Hancock、 Edwin R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Multimodal Brain Image Analysis [electronic resource] : First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings

0
索取号：
作者：Liu、 Tianming.、Shen、 Dinggang.、Ibanez、 Luis.、Tao、 Xiaodong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

0
索取号：
作者：Sala眉n、 Gwen.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Approximate Deconvolution Models of Turbulence [electronic resource] : Analysis, Phenomenology and Numerical Analysis

0
索取号：
作者：Layton、 William J.、Rebholz、 Leo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Machine Learning in Medical Imaging [electronic resource] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Wang、 Fei.、Shen、 Dinggang.、Yan、 Pingkun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Process Definition and Management [electronic resource]

0
索取号：
作者：M眉nch、 J眉rgen.、Armbrust、 Ove.、Kowalczyk、 Martin.、Soto、 Mart铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

0
索取号：
作者：Delzanno、 Giorgio.、Potapov、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Datalog Reloaded [electronic resource] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

0
索取号：
作者：Moor、 Oege.、Gottlob、 Georg.、Furche、 Tim.、Sellers、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Enterprise and Organizational Modeling and Simulation [electronic resource] : 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers

0
索取号：
作者：Barjis、 Joseph.、Eldabi、 Tillal.、Gupta、 Ashish.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

0
索取号：
作者：Ayala、 Jos茅 L.、Garc铆a-C谩mara、 Braulio.、Prieto、 Manuel.、Ruggiero、 Martino.、Sicard、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

0
索取号：
作者：Ditmarsch、 Hans.、Lang、 J茅r么me.、Ju、 Shier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

0
索取号：
作者：Troubitsyna、 Elena A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Eurofuse 2011 [electronic resource] : Workshop on Fuzzy Methods for Knowledge-Based Systems

0
索取号：
作者：Melo-Pinto、 Pedro.、Couto、 Pedro.、Ser么dio、 Carlos.、Fodor、 J谩nos.、Baets、 Bernard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.